Graphical and Formal Knowledge Specification with Karl1
نویسنده
چکیده
The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description of a kbs at the conceptual level supported by graphical modelling primitives with a description at a formal and executable level. Therefore, a KARLspecification can be used as a means for communication between expert and knowledge engineer as well as an intermediate representation, closing the conceptual gap between an informal specification and an implementation of a kbs. In the paper, KARL is mainly discussed as a graphical modelling language.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملGraphical and Formal Knowledge Specification with Karl
The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description of a kbs at the conceptual level supported by graphical modelling primitives with a description at a formal and executable level. Therefore, a KARLspecification can be used as a means for communicati...
متن کاملA Graphical Framework for Specification of Clinical Guidelines at Multiple Representation Levels
Formalization of a clinical guideline for purposes of automated application and quality assessment mainly involves conversion of its free-text representation into a machine comprehensible representation, i.e., a formal language, thus enabling auto-mated support. The main issues involved in this process are related to the collaboration between the expert physician and the knowledge engineer. We ...
متن کاملA graphical tool for specification of reactive systems
A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. This paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animat...
متن کاملFormalizing Anaesthesia: a case study in formal specification
We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker, graphical representation of signatures).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007